On strongest necessary and weakest sufficient conditions☆☆An earlier version of this paper was the co-winner of the Best Paper Award at KR2000.
نویسندگان
چکیده
منابع مشابه
On Strongest Necessary and Weakest Sufficient Conditions
Given a propositional theory T and a proposition q, a suucient condition of q is one that will make q true under T , and a necessary condition of q is one that has to be true for q to be true under T. In this paper , we propose a notion of strongest necessary and weakest suucient conditions. Intuitively, the strongest necessary condition of a proposition is the most general consequence that we ...
متن کاملon translation of phatic communion and socio-cultural relationships between the characters of the novels
phatic communion is a cultural concept which differs across cultures. according to hofstede (2001), the u.s. tends to have individualistic culture; however, asian countries tend to have collectivistic cultures. these cultures view phatic communion differently. in individualistic cultures like u.s., phatic communion reflects speakers’ socio-cultural relationships in conversations. to see whether...
15 صفحه اولthe impact of attending efl classes on the level of depression of iranian female learners and their attributional complexity
می توان گفت واقعیت چند لایه ا ی کلاس های زبان انگلیسی بسیار حائز اهمیت است، زیرا عواطف و بینش های زبان آموزان تحت تاثیر قرار می گیرد. در پژوهش پیش رو، گفته می شود که دبیران با در پیش گرفتن رویکرد فرا-انسانگرایی ، قادرند در زندگی دانش آموزانشان نقش مهمی را ایفا سازند. بر اساس گفته ی ویلیامز و بردن (2000)، برای کرل راجرز، یکی از بنیان گذاران رویکرد انسانگرایی ، یادگیری بر مبنای تجربه، نوعی از یاد...
COAP 2008 best paper award : Paper of
Since 2004, the Computational Optimization and Applications (COAP) editorial board has selected a paper from the preceding year’s COAP publications for the “Best Paper Award.” The award competition among papers published in 2008 culminated in a tie between two papers. This article concerns the award winning work of Peter Hahn, Bum-Jin Kim, Monique Guignard-Spielberg and Yi-Rong Zhu at the Unive...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2001
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(01)00070-4